Search Results
Emily Riehl - A Taste of Formal Category Theory - (feb 2021)
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory
Emily Riehl - The formal theory of ∞-categories - CaCS2021
Emily Riehl 4 March 2021
Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
A Solution to the Stable Marriage Problem: Emily Riehl webcast trailer
The Formal Theory of Adjunctions Monads Algebras and Descent Emily Riehl MSRI
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
Emily Riehl: "Contractibility as uniqueness"
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
Emily Riehl
Emily Riehl